/**
 * Copyright (c) 2010 CWI Amsterdam and others. All rights reserved.
 * This program and the accompanying materials are made available
 * under the terms of the Eclipse Public License v1.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/legal/epl-v10.html
 * 
 * Contributors:
 *    CWI Amsterdam - initial API and implementation
 */
package nl.cwi.arne.mcrl2.toolchains;

import java.io.File;

import nl.cwi.arne.mcrl2.Specification;
import nl.cwi.arne.mcrl2.util.MCRL2Commands;
import nl.cwi.arne.mcrl2.util.MCRL2Options;

/**
 * @author Christian Krause
 * @generated NOT
 */
public final class ShowLTSToolChain extends GenerateLTSToolChain {
	
	// Serial ID:
	private static final long serialVersionUID = 1L;
	
	/**
	 * Constructor.
	 */
	public ShowLTSToolChain(Specification specification, MCRL2Options options) {
		
		super(specification, options);
		setWaitForLast(false);
		
		// All we need to do is to call ltsgraph at this point.
		add(MCRL2Commands.ltsgraph(getLTSFile()));
		
	}
	
	/**
	 * Alternative constructor.
	 * @param ltsFile The *.lts file to be displayed.
	 */
	public ShowLTSToolChain(File ltsFile, MCRL2Options options) {
		
		super("Opening labeled transition system...");
		setWaitForLast(false);
		
		// Set the LTS file and just call ltsgraph:
		setLTSFile(ltsFile);
		add(MCRL2Commands.ltsgraph(ltsFile));
	}
	
}
